electro-discharge machining

放电加工